5 found
Order:
  1.  39
    Reasoning in Non-probabilistic Uncertainty: Logic Programming and Neural-Symbolic Computing as Examples.Tarek R. Besold, Artur D’Avila Garcez, Keith Stenning, Leendert van der Torre & Michiel van Lambalgen - 2017 - Minds and Machines 27 (1):37-77.
    This article aims to achieve two goals: to show that probability is not the only way of dealing with uncertainty ; and to provide evidence that logic-based methods can well support reasoning with uncertainty. For the latter claim, two paradigmatic examples are presented: logic programming with Kleene semantics for modelling reasoning from information in a discourse, to an interpretation of the state of affairs of the intended model, and a neural-symbolic implementation of input/output logic for dealing with uncertainty in dynamic (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  4
    Computational Creativity Research: Towards Creative Machines.Tarek R. Besold, Marco Schorlemmer & Alan Smaill (eds.) - 2014 - Springer, Atlantis Thinking Machines (Book 7), Atlantis.
    Computational Creativity, Concept Invention, and General Intelligence in their own right all are flourishing research disciplines producing surprising and captivating results that continuously influence and change our view on where the limits of intelligent machines lie, each day pushing the boundaries a bit further. By 2014, all three fields also have left their marks on everyday life – machine-composed music has been performed in concert halls, automated theorem provers are accepted tools in enterprises’ R&D departments, and cognitive architectures are being (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  17
    Using ontologies to enhance human understandability of global post-hoc explanations of black-box models.Roberto Confalonieri, Tillman Weyde, Tarek R. Besold & Fermín Moscoso del Prado Martín - 2021 - Artificial Intelligence 296 (C):103471.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  22
    Editorial: Representation in the Brain.Asim Roy, Leonid Perlovsky, Tarek R. Besold, Juyang Weng & Jonathan C. W. Edwards - 2018 - Frontiers in Psychology 9.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5.  47
    Formal Languages in Logic, A Philosophical and Cognitive Analysis. By Catarina Dutilh Novaes. (Cambridge UP, 2012. Price £55.00.). [REVIEW]Tarek R. Besold, Martin Aher, Ulf Krumnack & Martin Schmidt - 2013 - Philosophical Quarterly 63 (251):377-379.